1. ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 1998 : proceedings
Author: Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Z )Computer program language(
Classification :
QA
76
.
L28
Vol
.
1493
